421. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
422. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
423. The deductive spreadsheet /
پدیدآورنده : Iliano Cervesato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Deductive databases,Electronic spreadsheets,Logic programming
رده :
QA76
.
9
.
D3
424. The deductive spreadsheet
پدیدآورنده : Cervesato, Iliano
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Electronic spreadsheets,، Deductive databases,، Logic programming
رده :
QA
76
.
9
.
D3
C47
2013
425. The little typer /
پدیدآورنده : Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
426. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
427. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
428. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
429. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
430. The logic of programming
پدیدآورنده : Hehner, Eric C R
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
431. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
432. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
433. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
434. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
435. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
436. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
437. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
پدیدآورنده : edited by Ehud Shapiro
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
438. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
پدیدآورنده : edited by Ehud Y. Shapiro
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
439. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
440. Threshold logic and its applications
پدیدآورنده : Muroga, Saburo.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Threshold logic,، Linear programming,، Switching theory
رده :
QA
401
.
M85
